Abstract data types as reusable software components: the case for twin ADTs

نویسندگان

  • Klaas Sikkel
  • J. C. van Vliet
چکیده

data types as reusable software components: the case for twin ADTS by K. Sikkel and J.C. van Wet Abstract data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable. In this paper, we present an elaborate example, showing that the most abstract ADT is not necessarily the most reusable one. Instead, we felt the need to supply ADTs reflecting alternative representations of one abstract notion. This leads to some general observations about the usability aspects of software components.data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable. In this paper, we present an elaborate example, showing that the most abstract ADT is not necessarily the most reusable one. Instead, we felt the need to supply ADTs reflecting alternative representations of one abstract notion. This leads to some general observations about the usability aspects of software components.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Validation of Results in Testing Abstract Data Types: a Method for Automation*

The role of reusable, abstract data types (ADTs) in improving software quality has been widely recognized, and much attention has focused on certifying the correctness of implementations of ADTs, using formal testing methods. A major problem with manual testing techniques has been over-reliance on the tester’s ability to interpret correctly and to validate test results. This problem can be part...

متن کامل

The combinatorics of some abstract data types

Abstract data types (ADTs) may be regarded as abstract machines and then a program for an ADT is any sequence of operations allowed by its specification. The effect of such programs on container ADTs is captured by the relationship between each input sequence and the set of possible output sequences that can result from it. This relationship is studied principally in the case of dictionaries, s...

متن کامل

The Formal Design Models of a Set of Abstract Data Types

Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. ADTs also play a key role in Object-Oriented (OO) technologies for software system design and implementation. This paper presents a formal modeling ...

متن کامل

The Formal Design Models of a Set of Abstract Data Types (ADTs)

Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. ADTs also play a key role in Object-Oriented (OO) technologies for software system design and implementation. This paper presents a formal modeling ...

متن کامل

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

This article presents an approach to identify abstract data types (ADT) and abstract state encapsulations (ASE, also called abstract objects) in source code. This approach groups together functions, types, and variables into ADT and ASE candidates according to the proportion of features they share. The set of features considered includes the context of these elements, the relationships to their...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Software Engineering Journal

دوره 7  شماره 

صفحات  -

تاریخ انتشار 1992